Hard Life with Weak Binders
نویسندگان
چکیده
منابع مشابه
Hard Life with Weak Binders
We introduce weak binders, a lightweight construct to deal withfresh names in nominal calculi. Weak binders do not define the scopeof names as precisely as the standard ν-binders, yet they enjoy strongsemantic properties. We provide them with a denotational seman-tics, an equational theory, and a trace inclusion preorder. Further-more, we present a trace-preserving mappi...
متن کامل(weak) Calibration is Computationally Hard
Consider a weather forecaster that predicts the probability of rain. The forecaster is said to be calibrated if every time she predicts a certain probability of rain, the empirical average of rainy vs. non-rainy days approaches this forecasted probability. This very natural property of forecasting was introduced by [Daw82] and has found numerous applications since [FV97, FV98, KLS99, Fos99, FL9...
متن کاملRelation Algebra with Binders
The language of relation algebras is expanded with variables denoting individual elements in the domain and with the ↓ binder from hybrid logic. Every elementary property of binary relations is expressible in the resulting language, something which fails for the relation algebraic language. That the new language is natural for speaking about binary relations is indicated by the fact that both C...
متن کاملBeta-binders with Biological Transactions
In this work we propose an extension of Beta-binders with biological transactions, called TBeta-binders, in order to model a sequence of elementary actions atomically. This extension is useful when we need to specify multi-reactant multi-product reactions or when we use a sequence of actions to represent a single biological interaction. Some properties of these transactions are reported. Finall...
متن کاملThe"Hard Problem"of Life
There are few open problems in science as perplexing as the nature of life and consciousness. At present, we do not have many scientific windows into either. In the case of consciousness, it seems evident that certain aspects will ultimately defy reductionist explanation, the most important being the phenomenon of qualia – roughly speaking our subjective experience as observers. It is a priori ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2009
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2009.06.013